41. Automata, languages, and machines
المؤلف:
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Sequential machine theory,Formal languages,Automata
رده :
QA3
.
P8
42. Automata languages, and machines
المؤلف: / Samuel Eilenberg
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Sequential machine theory,Formal languages,Automata
رده :
629
.
891
E34a
43. Automata, languages and programming
المؤلف: / edited by Arto Salomaa and Magnus Steinby
المکتبة: (طهران)
موضوع: Sequential machine theory -- Congresses,Formal languages -- Congresses,Programming languages (Electronic computers) -- Congresses
رده :
QA
267
.
5
.
S4
C63
1977
44. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
45. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
46. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
المؤلف: edited by Laurent kott
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
47. Automata-theoretic aspects of formal power series
المؤلف: Arto Salomaa, Matti Soittola; ]editors F.L. Bauer, David Gries[
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
48. Automatic sequences
المؤلف: / Jean-Paul Allouche, Jeffrey Shallit
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
49. Automatic sequences
المؤلف: / Jean-Paul Allouche, Jeffrey Shallit
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
50. Automatic sequences :theory, applications, generalizations]CD[
المؤلف: Allouche, Jean-Paul, Jean-Paul Allouche, Jeffrey Shallit
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Sequential machine theory,، Sequences )Mathematics(
رده :
CD
1742-17
51. Automatic sequences : theory, applications, generalizations
المؤلف: Allouche, Jean-Paul
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Sequential machine theory,، Sequences )Mathematics(
رده :
QA
267
.
5
.
S4A55
52. Automatic sequences : theory, applications, generalizations
المؤلف: Jean-Paul Allouche, Jeffrey Shallit
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Sequences )Mathematics(
رده :
QA
267
.
5
.
S4A448
53. Automatismes a sequences et commandes numeriques
المؤلف: Florine, Jean
المکتبة: (خراسان الجنوبیة)
موضوع: ، Electronic digital computers- circuits,، Sequential machine theory,، Digiatal counters
رده :
TK
7888
.
3
.
F55
54. Buchi's monadic second order successor arithmetic
المؤلف: Siefkes, Dirk
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
55. Buchi's monadic second order successor arithmetic
المؤلف: / Dirk Siefkes
المکتبة: (طهران)
موضوع: Predicate calculus,Sequential machine theory
رده :
QA
267
.
S57
1970
56. Buchi's monadic second order successor arithmetic
المؤلف: Siefkes, Dirk
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
57. Buchi`s monadic second order successor arithmetic
المؤلف: Siefkes
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (طهران)
موضوع: Predicate calculus,Sequential machine theory
رده :
QA
3
.
L28
no
.
120
58. Checking Experiments in Sequential Machines
المؤلف: / Asok Bhattacharyya
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Fault tolerant computing,Sequential machine theory,Electronic digital computers-Testing
رده :
QA
76
.
9
.
F38B47
1989
59. Checking experiments in sequential machiness
المؤلف: Asok Bhattacharyya
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Sequential machine theory
60. Checking experiments in sequential machines
المؤلف: Bhattacharyya, Asok
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Foult tolerant computing,، Sequential machine theory,، Electronic digital computer-Testing
رده :
QA
76
.
9
F38
B47
